16.1 Induction
==============